Buy Used and New Axel Legay Books

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings: 8711 (Lecture Notes in Computer Science)

by Axel Legay,Marius Bozga

ISBN 13: 9783319105116

Format: Paperback (264 pages)
Publisher: Springer
Published: 19 Aug 2014

Save for later

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science)

by Valeria Bertacco, Axel Legay

ISBN 13: 9783319030760

Format: Paperback (388 pages)
Publisher: Springer
Published: 31 Oct 2013

Save for later

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science)

by Axel Legay,Saddek Bensalem

ISBN 13: 9783642407864

Format: Paperback (444 pages)
Publisher: Springer
Published: 05 Sep 2013

Save for later

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... 8415 (Lecture Notes in Computer Science)

by Saddek Bensalem,Yassine Lakhnech,Axel Legay

ISBN 13: 9783642548475

Format: Paperback (292 pages)
Publisher: Springer
Published: 11 Mar 2014

Save for later

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science)

by Cyrille Artho,Axel Legay,Doron Peled

ISBN 13: 9783319465197

Format: Paperback (544 pages)
Publisher: Springer
Published: 22 Sep 2016

Save for later

Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers: 10158 (Lecture Notes in Computer Science)

by Frédéric Cuppens,Nora Cuppens,Jean-Louis Lanet,Axel Legay

ISBN 13: 9783319548753

Format: Paperback (248 pages)
Publisher: Springer
Published: 02 Mar 2017

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10206 (Lecture Notes in Computer Science)

by Axel Legay,Tiziana Margaria

ISBN 13: 9783662545799

Format: Paperback (436 pages)
Publisher: Springer
Published: 31 Mar 2017

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10205 (Lecture Notes in Computer Science)

by Axel Legay, Tiziana Margaria

ISBN 13: 9783662545768

Format: Paperback (636 pages)
Publisher: Springer
Published: 31 Mar 2017

Save for later

Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)

by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro

ISBN 13: 9783319766867

Format: Paperback (280 pages)
Publisher: Springer
Published: 24 Feb 2018

Save for later

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)

by Luca Aceto,Giorgio Bacci,Giovanni Bacci,Anna Ingólfsdóttir,Axel Legay,Radu Mardare

ISBN 13: 9783319631202

Format: Paperback (680 pages)
Publisher: Springer
Published: 25 Jul 2017

Save for later